Model-Based Development of Embedded Systems with RT-CD++
نویسندگان
چکیده
The Modeling and Simulation-Driven Engineering (MSDE) approach relies on simulation-based modeling for developing components of real-time embedded systems. We propose the use of the DEVS formalism for MSDE activities. We present the MSDE of an application using incremental development, seamlessly integrating hardware components with models simulated in CD++, a DEVS modeling simulation tool. We show how to create different experimental frameworks, allowing the analysis of model execution in a risk-free environment. The approach allows secure, reliable testing, analysis of different levels of abstraction in the system, and model reuse.
منابع مشابه
An Environment for Development and Benchmarking DEVS applications
Discrete Event System Specification (DEVS) is a formal modeling and simulation (M&S) framework that supports hierarchical, modular models. DEVS-based M&S environments have been used successfully to understand, analyze, and develop a variety of systems. Some of the environments and systems modeled with DEVS are difficult to replicate and analyze; on the other hand, some others are populated with...
متن کاملPrediction of Above-elbow Motions in Amputees, based on Electromyographic(EMG) Signals, Using Nonlinear Autoregressive Exogenous (NARX) Model
Introduction In order to improve the quality of life of amputees, biomechatronic researchers and biomedical engineers have been trying to use a combination of various techniques to provide suitable rehabilitation systems. Diverse biomedical signals, acquired from a specialized organ or cell system, e.g., the nervous system, are the driving force for the whole system. Electromyography(EMG), as a...
متن کاملModeling and Controlling a Robotic Arm with E-CD++
The E-CD++ tool uses the RT-DEVS (real-time DEVS) formalism for modeling, simulation and execution of realtime and embedded applications. This formal modelling and simulation approach can be used as a robust foundation for developing real-time and embedded applications. It eases verification of the product, as sometimes verifying an embedded application in the real environment can be very risky...
متن کاملIran’s Medical Tourism Development Model in Cardiac Surgery
Introduction: Since medical tourism is considered as an incremental activity in this sector and proper infrastructures in country to make medical tourism are lacking, announcement by authorities to provide perquisites of medical tourism to make the first clinic hotel and health town are necessary for the purpose of developing medical tourism in Iran, all of these side issues sh...
متن کاملModel Development Guidelines for UML-RT
Software development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. This report discusses a set of design guidelines including design conventions, patterns and anti-patterns for developing real-time embedded software systems. These guidelines have been identi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004